Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
241	Generator Induction in Order Sorted Algebras Olaf Owe and Ole-Johan Dahl Institute of Informatics University of Oslo Norway February 1989 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Mathematical logic Category theory Functional programming Abstract algebra Term algebra Initial algebra Algebraic structure Mathematical induction Term Sigma-algebra Unification
242	Microsoft Word - ORDER FORM02 Add to Reading List Source URL: www.cyberdriveillinois.com Language: English - Date: 2016-05-12 16:01:18 United States administrative law Illinois law Administrative law Decision theory Rulemaking Illinois Administrative Code Administrative Procedure Act Illinois Register Repeal
243	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
244	02157 Functional Programming - Tagged values and Higher-order list functions Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:19:01 Data types Type theory Functions and mappings Curves Enumerated type Technical University of Denmark Function Triangle Constructor Circle C++ classes Standard ML
245	761 Documenta Math. A Bound for the Torsion in the K -Theory of Algebraic Integers Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2003-12-23 07:52:18 Model theory Category theory Differential topology Embedding Order theory Structure Sigma-algebra Decomposition of spectrum
246	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.org Language: English - Date: 2016-07-29 01:16:07 Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar Automated proof checking Quantifier
247	Negative Changes in Children & What Parents Can Do Infants (< 1 year) must be held and actively nurtured in order thrive. If a primary caregiver becomes significantly depressed then the infant will be at risk for apathy, Add to Reading List Source URL: militaryfamilies.ksu.edu Language: English - Date: 2009-12-08 14:32:20 Caregiving Attachment theory Human development Caregiver Parenting Single parent Baby talk Caregiver stress Family caregivers
248	SEMINÁRIO 13 de Março deDepartamento de Matemática, sala Sousa Pinto, 11:30-12:30) Título: CONNECTED GRAPHS OF FIXED ORDER AND SIZE WITH MAXIMAL Q−INDEX: Add to Reading List Source URL: ceoc.mat.ua.pt Language: English - Date: 2009-03-17 13:23:26 Algebraic graph theory Laplacian matrix Matrices Planar graphs Spectral graph theory
249	Outline Truth, Subderivations and the Liar Truth, Add to Reading List Source URL: cas.uchicago.edu Language: English - Date: 2016-02-18 15:24:26 Philosophical logic Mathematical logic Theories of truth Philosophy of language Model theory Liar paradox Truth Lie Argument Law of excluded middle First-order logic Atomic sentence
250	Group orders, dynamics and rigidity Kathryn Mann and Crist´obal Rivas 1 Introduction Add to Reading List Source URL: foliations2016.math.uni.lodz.pl Language: English - Date: 2016-06-07 16:43:40 Group theory Circles Combinatorics Cyclic order Order theory Homeomorphism Foliation Group action

UPDATE